type face_mode =
  | GL_FRONT
  | GL_BACK
  | GL_FRONT_AND_BACK
